# CONFIG_QEMU ?= ../qemu-xen.git
CONFIG_QEMU ?= $(QEMU_REMOTE)
-QEMU_TAG := xen-4.0.0-rc4
-#QEMU_TAG ?= d463cfee458bacfe1ee3cb9c3b4ce46a6be06edf
-# Thu Feb 4 17:04:48 2010 +0000
-# passthrough: support Intel IGD passthrough with VT-D
+QEMU_TAG ?= e5d14857cd67490bf956d97c8888c0be95ed3f78
+# Thu Feb 18 15:36:29 2010 +0000
+# When xen_platform_pci=0 also disable fixed Xen platform ioports
OCAML_XENSTORED_REPO=http://xenbits.xensource.com/ext/xen-ocaml-tools.hg